Merge pull request #1723 from soby-mathew/sm/reset_bl31_fix
authorAntonio Niño Díaz <[email protected]>
Tue, 18 Dec 2018 09:04:57 +0000 (10:04 +0100)
committerGitHub <[email protected]>
Tue, 18 Dec 2018 09:04:57 +0000 (10:04 +0100)
FVP: Fixes for RESET_TO_BL31


Trivial merge